3941. Theoretical computer science : proceedings of the fourth Italian Conference : L Aquila , Italy 28-30 October 1992
پدیدآورنده: editors A. Marchetti Spaccamela, P. Mentrasti, M. Venturini Zilli
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Congresses
رده :
QA
75
.
5
.
T53
1992
3942. Theoretical foundation for large-scale computations for nonlinear material behavior
پدیدآورنده: edited by Siavouche Nemat-Nasser, Robert J. Asaro, Gilbert A. Hegemier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering mathematics.,Mechanics.,Physics.
3943. Theoretische Informatik :
پدیدآورنده: Lutz Priese, Katrin Erk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Theoretische Informatik.
3944. Theory and Applications of Models of Computation
پدیدآورنده: \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
3945. Theory and applications of models of computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
3946. Theory and applications of models of computation :
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
3947. Theory and applications of models of computation
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer science, Congresses.
3948. Theory and applications of models of computation :
پدیدآورنده: T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
3949. Theory and applications of time series analysis :
پدیدآورنده: Olga Valenzuela, Fernando Rojas, Héctor Pomares, Ignacio Rojas, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Time-series analysis, Congresses.,Time-series analysis.
رده :
QA280
3950. Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
پدیدآورنده: Juhani Karhumaki ... ]et al.[ , Eds.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3113
3951. Theory of Coronoid Hydrocarbons II
پدیدآورنده: by S.J. Cyvin, J. Brunvoll, B.N. Cyvin, R.S. Chen, F.J. Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Annulenes.,Chemistry.,Combinatorial analysis.
رده :
QD341
.
A83
B975
1994
3952. Theory of Digital Automat
پدیدآورنده: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
3953. Theory of Martingales
پدیدآورنده: by R. Sh. Liptser, A.N. Shiryayev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Statistics.
رده :
QA274
.
5
B977
1989
3954. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
W66
1987
3955. Theory of computation
پدیدآورنده: / Derick Wood
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computational complexity,Machine theory,Computer science - Mathematics
رده :
QA
267
.
W66
1987
3956. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
3957. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
3958. Theory of computation
پدیدآورنده: Natarajan, A.M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
N35
2003
3959. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory,، Computer science-- Mathematics
رده :
QA
267
.
W66
1987
3960. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
